oidField.setText(node.getOid() + ".0");
} else {
oidField.setText(node.getOid());
}
}
} else if (node.getSymbol() != null
&& node.getSymbol().isScalar()) {
oidField.setText(node.getOid().toString() + ".0");
} else {
oidField.setText(node.getOid().toString());
}